package com.googlecode.kipler.satisfiability.completion.branching;

public enum BacktrackingAlgorithm {
	BACKTRACKING, BACKJUMPING;
}
